Nuprl Definition : rv-partial-sum
11,40
postcript
pdf
rv-partial-sum(
n
;
i
.
X
(
i
))(
s
) ==
0
i
<
n
.
X
(
i
)(
s
)
latex
Definitions
x
.
A
(
x
)
,
a
j
<
b
.
E
(
j
)
,
#$n
,
f
(
a
)
FDL editor aliases
rv-partial-sum
origin
0 
i < n. X(i)(s) 0 i < n. X(i)(s) 
x.A(x)a j < b. E(j)